21. Computer semantics; studies of algorithms, processors, and languages
پدیدآورنده : Lee, John A. N.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
22. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
پدیدآورنده : sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2002
23. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics
رده :
QA
76
.
9
.
D35
.
I351
1995
24. Denotational semantics :
پدیدآورنده : David A. Schmidt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
25. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
26. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
28. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر-- نحو ,زبانهای برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
29. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
30. Formal syntax and semantics of Java
پدیدآورنده : Jim Alves-Foss )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
31. Formal syntax and semantics of Java
پدیدآورنده : / Jim Alves-Foss (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999
32. Formal syntax and semantics of Java
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
33. Formal syntax and semantics of programming languages
پدیدآورنده : / Kenneth Slonneger, Barry L. Kurtz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
S59
,
1995
34. Formal syntax and semantics of programming languages : a laboratory based approach
پدیدآورنده : Slonneger, Kenneth.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
S59
1995
35. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
36. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
37. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
38. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
39. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86
40. Initial computability, algebraic specifications, and partial algebras
پدیدآورنده : by Horst Reichel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
رده :
QA
76
.
9
.
M35R45
1987
